Nuprl Definition : es-send 0,22

Send(i) == es-Send(es)(i
latex



clarification:

es-send(es;i) == es-Send(es)(i
latex


Definitionsf(a)
FDL editor aliaseses-send

origin